$\forall$$n$:$\mathbb{N}$. zhgrp($n$) $\in$ $\mid$($<\mathbb{Z}$+$>\downarrow$hgrp)$\mid$